Understanding Lisp Programs : towards a Programmer ' S Apprentice
نویسنده
چکیده
Several attempts have been made to produce tools which will help the programmer of complex computer systems. A new approach is proposed which integrates the programmer's intenttons, the program code, and the comments, by relating them to a knowledge base of programming techniques. Our research will extend the work of Sussman, Goldstein, and Hewitt on program descrtption and annotation. A prototype system will be implem,,ted which answers questions and detects bugs in simple LISP programs. Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of the Department of Defence and monitored by the Office of Naval Research under Contract Number N00014-70-A-0W62-0005. Working Papers are informal papers intended for internal use.
منابع مشابه
Program Understanding through Cliche Recognition
We propose research into automatic program understanding via recognition of common data structures and algorithms (clichis). Our goals are two-fold: first, to develop a theory of program structure which makes such recognition tractable; and second, to produce a program (named Inspector) which, given a Lisp program and a library of cliches, will construct a hierarchical decomposition of the prog...
متن کاملUnderstanding and Improving LISP Programs
We are currently investigating the creation of an didactic environment for the teaching of a programming language to approximately 1500 students each year. At this effect we are constructing a robust and perspicious system : VISION & CAN & PHENARETE (GREUSSAY 1977, GOOSSENS 1977, WERTZ 1976), a system designed to help the individual apprentice in the process of deve loping, writing and debuggi...
متن کاملCLAZY: Lazy Calling for Common Lisp
This document contains a description of a Common Lisp extension that allows a programmer to write functional programs that use normal order evaluation, as in non-strict languages like Haskell. The extension is relatively straightforward, and it appears to be the first one such that is integrated in the overall Common Lisp framework.
متن کاملNeural Symbolic Machines: Learning Semantic Parsers on Freebase with Weak Supervision
Extending the success of deep neural networks to high level tasks like natural language understanding and symbolic reasoning requires program induction and learning with weak supervision. Recent neural program induction approaches have either used primitive computation component like Turing machine or differentiable operations and memory trained by backpropagation. In this work, we propose the ...
متن کاملLisp as an Alternative to Java Point of View
21 In a recent study Prechelt (1999) compared the relative performance of Java and C++ in execution time and memory usage. Unlike many benchmark studies, Prechelt compared multiple implementations of the same task by multiple programmers in order to control for the effects of differences in programmer skill. Prechelt concluded that “as of JDK 1.2, Java programs are typically much slower than pr...
متن کامل